81. STOC'10 : proceedings of the 2010 ACM symposium on theory of computing, Cambridge, MA, USA, June 5-8 2010
پدیدآورنده : sponsored by ACM SIGACT; supported by Microsoft Research....]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2010
82. STOC'11 : proceedings of the 43rd ACM Symposium on Theory of Computing, June 6-8, 2011, San Jose, California, USA
پدیدآورنده : sponsored by : ACM SIGACT; supported by : Microsoft Research, Google, and IBM
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2011
83. STOC'05 : proceedings of the 37th Annual ACM Symposium on Theory of Computing : Baltimore, Maryland, USA, May 22-24, 2005
پدیدآورنده : sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
رده :
QA
267
.
7
.
A25
2005
84. STOC'07 : proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007
پدیدآورنده : sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
رده :
QA
267
.
7
.
A25
2007
85. STOC'06 : proceedings of the 38th Annual ACM Symposium on Theory of Computing, Seattle, Washington, USA, May 21-23, 2006
پدیدآورنده : sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
رده :
QA
267
.
7
.
A25
2006
86. Safe and Efficient Intelligent Intersection Control of Autonomous Vehicles
پدیدآورنده : Lu, Qiang
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Engineering
87. Safe and Efficient Intelligent Intersection Control of Autonomous Vehicles
پدیدآورنده : Lu, Qiang
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Engineering
88. Scheduling Algorithms
پدیدآورنده : by Peter Brucker.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer network architectures.,Economics.,Mathematical optimization.
رده :
QA76
.
9
.
C63
B974
2001
89. Scheduling in computer and manufacturing systems.
پدیدآورنده : Jacek Blazewicz
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
TS157
.
5
J334
2012
90. Search Methodologies :
پدیدآورنده : edited by Edmund K. Burke, Graham Kendall.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Economics.,Electronic data processing.,Operations research.,Economics.,Electronic data processing.,Operations research.
رده :
HD30
.
23
91. Search methodologies :
پدیدآورنده : Edmund K. Burke, Graham Kendall, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Economia.,Informàtica.,Investigació operativa.
92. Search methodologies :
پدیدآورنده : edited by Edmund K. Burke, Graham Kendall.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Decision support systems.,Mathematical optimization.,Search theory.,Décision, Théorie de la.,Optimisation mathématique.,Systèmes d'aide à la décision.,Decision support systems.,Mathematical optimization.,Otimização matemática.,Search theory.,Sistemas de apoio à decisão.
رده :
T58
.
62
93. Semantic techniques in quantum computation /
پدیدآورنده : edited by Simon Gay, Ian Mackie.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers)-- Semantics.,Quantum computers.,Quantum theory.,COMPUTERS-- Hardware-- Mainframes & Minicomputers.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Quantencomputer,Quantum computers.,Quantum theory.,Semantik
رده :
QA76
.
889
.
S36
2010
94. Stream Cipher
پدیدآورنده : / by Andreas Klein
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics,Computational complexity,Algorithms,Electronic books
رده :
E-BOOK
